" Jim Woodcock" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Категория: Компьютеры

4.56 Mb

#2

Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones, Zhiming Liu, Jim Woodcock

6.60 Mb

#3

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Cliff B. Jones, Zhiming Liu, Jim Woodcock

7.82 Mb

#4

Using Z.Specification,refinement,and proof

Jim Woodcock, Jim Davies

Категория: Радио

4.74 Mb

#5

Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005

Bertrand Meyer, Jim Woodcock

Категория: Cs_Computer science, CsLn_Lecture notes

7.65 Mb

#6

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Marcel Vinícius Medeiros Oliveira, Jim Woodcock

3.83 Mb

#7

Using Z: Specification, Refinement, and Proof

Jim Woodcock, Jim Davies

Категория: Cs_Computer science, CsPl_Programming languages

1.24 Mb

#8

Formal Methods: foundations and Applications, 12 conf., SBMF2009

Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Категория: Cs_Computer science, CsLn_Lecture notes

3.55 Mb

#9

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong, Jim Woodcock

5.79 Mb

#10

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Chris George, Zhiming Liu, Jim Woodcock

1.86 Mb

#11

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock

5.37 Mb

#12

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

3.00 Mb